Karlsruhe Institute of Technology

Results: 590



#Item
11Formally Proving a Compiler Transformation Safe Joachim Breitner Karlsruhe Institute of Technology Germany

Formally Proving a Compiler Transformation Safe Joachim Breitner Karlsruhe Institute of Technology Germany

Add to Reading List

Source URL: www.joachim-breitner.de

Language: English - Date: 2015-08-16 13:58:45
    12Karlsruhe Institute of Technology Waseda University Nara Institute of Science and

    Karlsruhe Institute of Technology Waseda University Nara Institute of Science and

    Add to Reading List

    Source URL: www.clics-network.org

    Language: German - Date: 2015-09-28 06:20:37
      13Lucid Infrared Thermography of Thermally-Constrained Processors Hussam Amrouch and J¨org Henkel Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Karlsruhe, Germany {amrouch, henkel}@kit.edu Abs

      Lucid Infrared Thermography of Thermally-Constrained Processors Hussam Amrouch and J¨org Henkel Karlsruhe Institute of Technology (KIT), Chair for Embedded Systems (CES), Karlsruhe, Germany {amrouch, henkel}@kit.edu Abs

      Add to Reading List

      Source URL: cesweb.itec.kit.edu

      Language: English - Date: 2015-06-04 11:52:14
        14Curriculum Vitae Clemens Puppe Address: Institute of Economics, Karlsruhe Institute of Technology, D – 76128 Karlsruhe, Germany. Tel.: (+, Fax: (+, e-mail:

        Curriculum Vitae Clemens Puppe Address: Institute of Economics, Karlsruhe Institute of Technology, D – 76128 Karlsruhe, Germany. Tel.: (+, Fax: (+, e-mail:

        Add to Reading List

        Source URL: micro.econ.kit.edu

        Language: English - Date: 2018-03-14 09:18:40
          15Toward Multilingual Neural Machine Translation with Universal Encoder and Decoder Thanh-Le Ha, Jan Niehues, Alex Waibel Institute for Anthropomatics and Robotics KIT - Karlsruhe Institute of Technology, Germany firstname

          Toward Multilingual Neural Machine Translation with Universal Encoder and Decoder Thanh-Le Ha, Jan Niehues, Alex Waibel Institute for Anthropomatics and Robotics KIT - Karlsruhe Institute of Technology, Germany firstname

          Add to Reading List

          Source URL: workshop2016.iwslt.org

          Language: English - Date: 2016-12-09 18:21:03
            16Karlsruhe Institute of Technology (KIT) – The Research University in the Helmholtz Association creates and imparts knowledge for the society and the environment. It is our goal to make significant contributions to mast

            Karlsruhe Institute of Technology (KIT) – The Research University in the Helmholtz Association creates and imparts knowledge for the society and the environment. It is our goal to make significant contributions to mast

            Add to Reading List

            Source URL: www.itz.kit.edu

            Language: English - Date: 2018-03-15 08:56:31
              17New electrolytes for rechargeable multivalent metal-sulfur batteries M. Fichtnera,b, Z Zhao-Kargera, a Helmholtz Institute Ulm, Helmholtzstraße 11, DUlm, Germany b Karlsruhe Institute of Technology, Institute of

              New electrolytes for rechargeable multivalent metal-sulfur batteries M. Fichtnera,b, Z Zhao-Kargera, a Helmholtz Institute Ulm, Helmholtzstraße 11, DUlm, Germany b Karlsruhe Institute of Technology, Institute of

              Add to Reading List

              Source URL: www.imlb2018.org

              Language: English - Date: 2018-03-29 22:36:20
                18Press release

                Press release "Young Engineer Award" and "Innovation Award" awarded by SEMIKRON-Stiftung on Wednesday, 8th March 2017 Photo: (f.l.t.r) Prof. Leo Lorenz (ECPE), Johannes Kolb (Karlsruhe Institute of Technology), Mario Gom

                Add to Reading List

                Source URL: www.eti.kit.edu

                Language: English - Date: 2018-02-27 07:16:14
                  192016 49th Hawaii International Conference on System Sciences Selecting physiological features for predicting bidding behavior in electronic auctions Marius B. Müller Karlsruhe Institute of Technology

                  2016 49th Hawaii International Conference on System Sciences Selecting physiological features for predicting bidding behavior in electronic auctions Marius B. Müller Karlsruhe Institute of Technology

                  Add to Reading List

                  Source URL: www.ibusiness.uni-passau.de

                  Language: English - Date: 2016-02-22 03:56:13
                    201 Beyond dimension two: A test for higher-order tail risk Carsten Bormann Karlsruhe Institute of Technology, Germany

                    1 Beyond dimension two: A test for higher-order tail risk Carsten Bormann Karlsruhe Institute of Technology, Germany

                    Add to Reading List

                    Source URL: statistik.econ.kit.edu

                    Language: English - Date: 2015-09-15 11:26:12